System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
201	“Weird Machines” in ELF: A Spotlight on the Underappreciated Metadata Rebecca Shapiro Dartmouth College Sergey Bratus Dartmouth College Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2013-09-11 09:09:13 Programming language implementation Relocation Portable Executable Library Linker Dynamic linker COM file Executable and Linkable Format Object file Computing Software System software
202	Test automation of Web applications can be done more effectively by accessing the plumbing within the user interface. Here is a detailed walk-through of Watir, a tool many are using to check the pipes. by Jonathan Kohl a Add to Reading List Source URL: www.kohl.ca Language: English - Date: 2012-03-17 16:39:23 System software Ruby programming language Web development software Software testing Scripting languages Watir Test automation Ruby Acceptance testing Computing Software Graphical user interface testing
203	Xlib - C Language X Interface - X Consortium Standard Add to Reading List Source URL: www.x.org Language: English - Date: 2012-06-06 02:13:59 Graphical user interfaces Application programming interfaces X Window System core protocol Freedesktop.org Xlib X Window System Cross-platform software X resources Callback Software System software Computing
204	Using Genetic Programming To Evolve an Algorithm For Factoring Numbers Jenny Rose Finkel Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:07 Data types Operations research Computer arithmetic Floating point Function Mathematical optimization Type system Lisp Control flow Programming language theory Software engineering Computing
205	Quick Contents Chapter 1. iRMX® Application Development Environment Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-03-29 23:08:21 Real-time operating systems RMX Computer programming Procedural programming languages Multibus Assembly language Operating system C Exception handling Computing Software engineering Embedded systems
206	A Veried Compiler for Multithreaded PreScheme 1 William M. Farmer Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics PreScheme Scheme programming language Denotational semantics Operational semantics System programming language Compiler Programming language Software engineering Computing Programming language theory
207	E-LAB Computers AVRco Pascal Multitasking Development system for Atmel AVR singlechips ® ® E -L AB Com pu t er s Add to Reading List Source URL: www.e-lab.de Language: English - Date: 2014-07-07 12:57:42 Microcontrollers Programming language implementation Atmel AVR Norwegian Institute of Technology Pascal Embedded system Pointer Compiler Conditional Computing Software engineering Computer programming
208	A Coordinated Browsing System Jonathan Zinkl Davis, Kurt Maly, Mohammad Zubair Department of Computer Science Old Dominion University Norfolk, VA Add to Reading List Source URL: www.cs.odu.edu Language: English - Date: 1997-11-24 13:08:30 Cross-platform software Portable software Internet privacy Java applet Java programming language Cobrowsing Opera Web page Proxy server Software Computing Web browsers
209	In FOOL7 Electronic ProceedingsDepth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:03:50 Programming language theory Computing Object-oriented programming Polymorphism Deduction Subtype polymorphism Symbol Type system System F Type theory Software engineering Data types
210	A Haskell Roadshow Joachim Breitner January 20th 2011 Features Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional languages Type theory Haskell Functional programming Type system Lazy evaluation Type inference Pure Strong typing Software engineering Programming language theory Computing

UPDATE